A Finite First-Order Theory of Classes
نویسنده
چکیده
We expose a formalism that allows the expression of any theory with one or more axiom schemes using a finite number of axioms. This allows us to give finite first-order axiomatizations of arithmetic and real analysis, and a presentation of arithmetic in deduction modulo that has a finite number of rewrite rules. Overall, this formalization relies on a weak calculus of explicit substitutions to provide a simple and finite framework.
منابع مشابه
Spectral Finite Element Method for Free Vibration of Axially Moving Plates Based on First-Order Shear Deformation Theory
In this paper, the free vibration analysis of moderately thick rectangular plates axially moving with constant velocity and subjected to uniform in-plane loads is investigated by the spectral finite element method. Two parallel edges of the plate are assumed to be simply supported and the remaining edges have any arbitrary boundary conditions. Using Hamilton’s principle, three equations of moti...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملOn two classes of third order boundary value problems with finite spectrum
The spectral analysis of two classes of third order boundary value problems is investigated. For every positive integer $m$ we construct two classes of regular third order boundary value problems with at most $2m+1$ eigenvalues, counting multiplicity. These kinds of finite spectrum results are previously known only for even order boundary value problems.
متن کاملBeyond First Order Logic: From number of structures to structure of numbers: Part I
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...
متن کاملResponse Determination of a Beam with Moderately Large Deflection Under Transverse Dynamic Load Using First Order Shear Deformation Theory
In the presented paper, the governing equations of a vibratory beam with moderately large deflection are derived using the first order shear deformation theory. The beam is homogenous, isotropic and it is subjected to the dynamic transverse and axial loads. The kinematic of the problem is according to the Von-Karman strain-displacement relations and the Hook's law is used as the constitutive eq...
متن کاملCOMPUTING THE PRODUCTS OF CONJUGACY CLASSES FOR SPECIFIC FINITE GROUPS
Suppose $G$ is a finite group, $A$ and $B$ are conjugacy classes of $G$ and $eta(AB)$ denotes the number of conjugacy classes contained in $AB$. The set of all $eta(AB)$ such that $A, B$ run over conjugacy classes of $G$ is denoted by $eta(G)$.The aim of this paper is to compute $eta(G)$, $G in { D_{2n}, T_{4n}, U_{6n}, V_{8n}, SD_{8n}}$ or $G$ is a decomposable group of order $2pq$, a group of...
متن کامل